منابع مشابه
Binocular Kit : The ReturnL
This paper, describing a computer graphics tool for clinical vision, is the result of an eeort in nding out the potential of and possible improvements to a tool to help opticians. The software prototype, the computer binocular kit, generates customized stereo pairs. The results of this collaborative research project show that the eye cooperation ability of a patient can be trained by exercising...
متن کاملThe Model-Checking Kit
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checkers, including deadlock-checkers, reachability-checkers, and model-checkers for the temporal logics CTL and LTL [7].
متن کاملThe Athena Startup Kit
The Athena Startup Kit (ask), is an interactive front-end to the Atlas software framework (athena). Written in python, a very effective “glue” language, it is build on top of the, in principle unrelated, code repository, build, configuration, debug, binding, and analysis tools. Ask automates many error-prone tasks that are otherwise left to the end-user, thereby pre-empting a whole category of ...
متن کاملThe MAP COMPARISON KIT:
Comparing maps is an important issue in environmental research. Reasons for comparing maps may be: (i) the different socio-economic scenarios on which they are based, (ii) detection of temporal changes, (iii) calibration/validation of land-use models, (iv) hotspot detection, (v) their use in uncertainty analysis, and (vi) their origin in different methodologies/models. This report addresses the...
متن کاملThe Task Motion Kit
R require novel reasoning systems to achieve complex objectives in new environments. Everyday activities in the physical world couple discrete and continuous reasoning. For example, to set the table in Fig. 1, the robot must make discrete decisions about which objects to pick and the order in which to do so, and execute these decisions by computing continuous motions to reach objects or desired...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Iowa Review
سال: 1977
ISSN: 0021-065X,2330-0361
DOI: 10.17077/0021-065x.2183